La pragmatique des dieux aztèques

Un système de types pragmatique pour la vérification déductive des programmes. (A Pragmatic Type System for Deductive Software Verification)

This thesis is conducted in the framework of deductive software verification. isaims to formalize some concepts that are implemented in the verification tool Why3.The main idea is to explore solutions that a type system based approach can bring todeductive verification.First, we focus our attention on the notion of ghost code, a technique that is usedin most of modern verifi...

Serodifferenciation des Variantes du Virus de la Fièvre Aphteuse par la Technique des Plages-Méthode de Wecker

La lutte contre les argaside, gale psoroptique et phtiriase des moutons par l'administration des insecticides par la vole buccale

VERS LA FORMULATION DES CRITERES D'EVALUATION DE LA TRADUCTION PEDAGOGIQUE AL 'UNIVERSITE

Stabilisation des antigenes claveleux et preparation d'un vaccin mixte contre la clavelee et la fievre charbonneuse